-
1 задачи алгебры логики
задачи алгебры логикизадачы алгебры логікіРусско-белорусский словарь математических, физических и технических терминов > задачи алгебры логики
-
2 функция алгебры логики
[lang name="Russian"]булева алгебра, алгебра логики — Boolean algebra
-
3 функция алгебры логики
Русско-английский новый политехнический словарь > функция алгебры логики
-
4 функция алгебры логики
Русско-английский словарь по информационным технологиям > функция алгебры логики
-
5 функции алгебры логики
Mathematics: Boolean functionsУниверсальный русско-английский словарь > функции алгебры логики
-
6 функции алгебры логики
Русско-английский словарь по машиностроению > функции алгебры логики
-
7 переменная алгебры логики
adjcomput. AussagenvariableУниверсальный русско-немецкий словарь > переменная алгебры логики
-
8 функция алгебры логики
nУниверсальный русско-немецкий словарь > функция алгебры логики
-
9 функция алгебры логики
• logická funkce -
10 функции алгебры логики
Русско-английский математический словарь > функции алгебры логики
-
11 алгебра логики
-
12 булевая алгебра
булева алгебра, алгебра логики — Boolean algebra
-
13 логика
f. logic; математическая логика, mathematical logic; функции алгебры логики, Boolean functions -
14 логика
f. logic;
математическая логика - mathematical logic;
функции алгебры логики - Boolean functions -
15 задачи
задачизадачы, -дач- задачи алгебры логики
- задачи вычислительной математики
- задачи логического проектирования
- задачи математической оптимизации
- задачи математической физики
- задачи обслуживания требований одним прибором
- задачи оптимального управления
- задачи теории множествРусско-белорусский словарь математических, физических и технических терминов > задачи
-
16 функция
функция ж., заданная на решётке Gitterfunktion fфункция ж., выражающая стоимость ж. Kostenfunktion fфункция ж. Бесселя от мнимого аргумента modifizierte Bessel-Funktion f; мат. modifizierte Bessel-Funktion f erster Art; modifizierte Besselsche Funktion f; modifizierte Besselsche Funktion f erster Artфункция ж. Грина физ. Ausbreitungsfunktion f; Einflußfunktion f; Feynmanscher Propagator m; мат. Greensche Funktion f; Greensche Potentialfunktion f; Kontraktion f; Propagator m; Zweipunktfunktion f; kausaler Propagator m; spezielle Greensche Funktion fфункция ж. "И" лог. UND-Funktion fфункция ж. накопления (информации для последующего совместного её учёта при визуализации) выч. Summenfunktion fфункция ж. "НЕ" лог. NICHT-Funktion fфункция ж. распределения отказов в период м. нормальной эксплуатации Normalausfallverteilungsfunktion fфункция ж. распространения физ. Ausbreitungsfunktion f; Feynmanscher Propagator m; Kontraktion f; Propagator m; Zweipunktfunktion f; kausaler Propagator m; spezielle Greensche Funktion fфункция ж. рассеяния мат. Dissipation f; термод. Dissipationsfunktion f; Energiedissipation f; мех. Rayleighsche Dissipationsfunktion f; Zerstreuungsfunktion f; dissipative Funktion fфункция ж. Хевисайда Einheitsimpulsfunktion f; Heaviside-Funktion f; мат. Heavisidesche Einheitsfunktion f; Heavisidesche Stufenfunktion f; Heavisidesche Treppenfunktion f -
17 булева функция
1. Boolean connectiveлогическая функция; логическая связка — logical connective
2. Boolean function -
18 логика
-
19 правоальтернативная алгебра
[lang name="Russian"]реляционная алгебра; алгебра отношений — relational algebra
[lang name="Russian"]булева алгебра, алгебра логики — Boolean algebra
Русско-английский научный словарь > правоальтернативная алгебра
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
алгебра логики — АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… … Энциклопедия эпистемологии и философии науки
Кафедра математической логики и высшей алгебры (Нижегородский государственный университет) — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/30 октября 2012. Пока процесс обсужден … Википедия
Кафедра математической логики и высшей алгебры — Нижегородский государственный университет им Н. И. Лобачевского Факультет вычислительной математики и кибернетики Заведующий кафедрой Шевченко, Валерий Николаевич … Википедия
Сибирская школа алгебры и логики — Сибирская школа алгебры и логики научная школа под руководством академика РАН Ю. Л. Ершова, формирование которой начиналось с работ научного руководителя Ю. Л. Ершова, академика АН СССР А. И. Мальцева. Участниками научной… … Википедия
НЕАССОЦИАТИВНЫЕ КОЛЬЦА И АЛГЕБРЫ — множества с доумя бинарными операциями + и ., удовлетворяющими всем аксиомам ассоциативных колец и алгебр, кроме, быть может, аксиомы ассоциативности умножения. Первые примеры неассоциативных колец (Н. к.) и неассоциативных алгебр (Н. а.), не… … Математическая энциклопедия
НЕКЛАССИЧЕСКИЕ ЛОГИКИ — НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов. Предпосылки для неклассической логики были высказаны… … Философская энциклопедия
Научные организации в области логики — Научные организации в области логики это философские и математические научные организации, область исследований которых относится к логике Содержание 1 Организация логики в России … Википедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
Сибирская школа Алгебры и Логики — научная школа под руководством академика РАН Ю.Л. Ершова, формирование которой начиналось с работ научного руководителя Ю.Л. Ершова, академика АН СССР А.И. Мальцева. Участниками научной школы (помимо самого Ю.Л. Ершова) являются чл. корр. РАН В.Д … Википедия